10 Finite axiomatizability problem (BAPLaCT)